perm filename NOTES.P1[LSP,JRA] blob sn#115466 filedate 1974-08-09 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	
C00004 ENDMK
C⊗;



TO THE PATIENT READER:

This is only the first half of current manuscript. An old table of contents
showing the second half 
second half is attached and if you wish to comment on the first half, I will
generate the second half. 

I claim the material should be presentable to upper-division undergraduates
with the possible exception of mathematical semantics.  I feel LISP is a unique
programming language, being an exceptional vehicle with which to introduce
most of the "interesting" areas of Computer Science: compilers, interpreters,
grubby details of language design; theoretical areas of correctness and provability,
and the general questions of semantics; and of course, the applications of AI.
It is this belief which I attempt to convey in this manuscript. It is NOT
a programming manual!!

The pretty XGP format  belies the fact that these notes are still being 
extensively modified. In particular, the sections on λ-calculus and
denotational semantics are incomplete and bug-ridden. However the intuitions
should be understandable.